chore(deps): update dependency ty to v0.0.75 - #691

v0.0.75

Compare Source

Released on 2026-08-26.

Preview features

• Initialize PEP 723 script environments in the CLI (#​27544)
• Refresh PEP 723 script environments in watch mode (#​27617)
• Run PEP 723 script synchronization on bounded workers (#​27615)

Bug fixes

• Specialize Self bounds of inherited methods (#​27990)

LSP server

• Add "Go to Definition" support for pytest fixtures (#​27444)

Documentation

• Fix documented Python package build command (#​4384)
• Link untyped-call tracking issue in migration guide (#​4382)

Library support

• Resolve imported pytest fixture exposures (#​27539)
• Resolve installed core pytest fixture providers (#​27770)
• Resolve pytest fixtures through conftest (#​27540)

Diagnostics

• Add more autofixes (#​28029)
• Add a dedicated missing-slot diagnostic (#​28039)
• Explain missing storage for declared slotted attributes (#​27969)
• Improve diagnostic spans for unpacked variable assignments (#​28041)

Core type checking

• Account for known subclasses in equality inference (#​28005)
• Expand ParamSpec signatures inferred from bound receivers (#​28020)
• Fix Self binding in ParamSpec protocols (#​28016)
• Fix TypedDict variance inference (#​28052)
• Fix unsound narrowing through branch-assigned conditions (#​28006)
• Ignore inconsistent binding decorators on overloads (#​28036)
• Infer yield from send/return types from the iterator returned by __iter__ (#​27987)
• Infer tuple type parameters from union arguments (#​28062)
• Infer variance through nonrecursive protocol references (#​28065)
• Preserve bounds of non-literal metaclasses (#​28046)
• Preserve correlated generic-call inference (#​28043)
• Preserve invariant materialization constraints (#​28047)
• Recover bare TypeVarTuples in tuple annotations (#​27950)
• Reject fixed tuples for non-inferable TypeVarTuples (#​27943)
• Reject incompatible constructor context for variadic packs (#​27966)
• Support mixed gradual tuple assignability with TypeVarTuple (#​27957)
• Support tagged union with multiple tags per type (#​27984)
• Sync vendored typeshed stubs (#​28035). Typeshed diff
• Treat typing.Union as a class on Python 3.14+ (#​28003)
• Validate generic protocol variance (#​27531)
• collections.abc.Callable is an instance of type (#​27991)

Contributors

• @​sharkdp
• @​jelle-openai
• @​marcelo-souzaf
• @​AlexWaygood
• @​krzkaczor
• @​carljm
• @​charliermarsh
• @​lerebear
• @​MichaReiser

v0.0.74

Compare Source

Released on 2026-08-22.

Bug fixes

• Avoid duplicate bindings in multi-target assignments (#​27938)
• Avoid panic on unpacked kwargs in string annotations (#​27963)
• Fix stack overflow in recursive TypedDict dictionary compatibility (#​27951)
• Handle assignment expressions in string annotations (#​27921)
• Handle dynamic classes in string annotations (#​27883)
• Preserve string annotation context in lambda defaults and TypedDict types (#​27914)
• Skip invalid subscript arguments in string annotations (#​27917)
• Skip invalid subscript operands in string annotations (#​27882)

LSP server

• Add untrustedWorkspace option to the LSP (#​27828)
• Add executable discovery to the server command (#​27806)
• Handle file-valued workspace folders from Zed (#​27836)
• Skip scripts with an invalid PEP 723 configuration (#​27505)
• Support pull diagnostics for notebook cells (#​27778)

Documentation

• Update mypy/pyright comparison table (#​4165)

Diagnostics

• Add an opt-in unsound-assignment rule for variables (#​27874)
• Fix variadic signature display (#​27869)
• Highlight declarations in invalid-assignment diagnostics (#​27872)
• Improve LiteralString suggestions in string annotations (#​27931)
• Use invalid-type-form for non-generic class annotations (#​27889)

Core type checking

• Add bounded constraint solution projections (#​27949)
• Fix invariant gradual tuple materialization ranges (#​27946)
• Guard recursive constructor bindings by receiver (#​27958)
• Preserve all alternatives in bounded intersections (#​27898)
• Preserve keyword safety for unpacked callables (#​27517)
• Preserve source protocol members and classify finite aliases (#​27772)
• Preserve type-variable order when reloading constraints (#​27904)
• Propagate narrowing through statically known branches (#​27752)
• Recognize ABC metaclass methods on protocols (#​27897)
• Support __slots__ (#​27730)

Performance

• Lazily infer function parameter default types (#​27857)
• Optimize inherited recursive protocol comparisons (#​27922)
• Traverse shared constraint source-order nodes once (#​27947)

Contributors

• @​carljm
• @​lerebear
• @​charliermarsh
• @​dhruvmanila
• @​AlexWaygood
• @​MichaReiser
• @​jelle-openai